Modular Architecture for a Toolset Supporting OCL
نویسندگان
چکیده
The practical application of the Object Constraint Language, which is part of the UML speci cation since version 1.1, depends crucially on the existence of adequate tool support. This paper discusses general design issues for OCL tools. It is argued that the nature of OCL will lead to a large variety of tools, applied in combination with a variety of di erent UML tools. Therefore, a exible modular architecture for a UML/OCL toolset is proposed. The paper reports on the rst results of an ongoing project which aims at the provision of such an OCL toolset for the public domain.
منابع مشابه
OCL as a Specification Language for Business Rules in Database Applications
Business rules are often speci ed only implicitly by applications to express user-de ned constraints. OCL provides the chance to explicitly and automatically deal with business rules when building object-oriented applications. We investigate how OCL constraints can be handled in database applications as one of the most important kind of business applications. Based on our OCL toolset prototype ...
متن کاملModular approach for an ASIC integration of electrical drive controls
VLSI circuits design allows today to consider new modes of implementation for electrical controls. However, design techniques require an adaptation effort that few designers, too accustomed to the software approach, provide. The authors of this article propose to develop a methodology to guide the electrical designers towards optimal performances of control algorithms implementation. Thus, they...
متن کاملModular Semantics for Object-Oriented Models
This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing assertions: invariant constraints and operation specifications. The approach to semantics we adopt could easily be applied to other, similar notatio...
متن کاملA representation of usage in KA-TOOL
KA-Tool embodies work aimed at allowing domain experts to generate a domain model for an AI planning system, carried out as part of a larger project to build an integrated set of tools for supporting AI planning. In this paper, after an overview of the knowledge acquisition process, we describe an implemented induction process. This uses a set of positive examples to form a frame-based model wi...
متن کاملOnline Method Engine: A Toolset for Method Assessment, Improvement and Enactment
Software companies keep evolving their methods for software production, due to the continuous changes in the organizational, technological, and societal context. Implementing changes to existing methods is a complex activity, which depends not only on understanding ‘what’ to alter, but also on defining ‘how’ to apply the changes. Approaches in the literature are mainly focused on the ‘what’, pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Sci. Comput. Program.
دوره 44 شماره
صفحات -
تاریخ انتشار 2000